derive the sine rule